이것은 특정 Prolog 구문에서 Landei의 대답입니다.
r ([], []).
r ([X], [X]).
r ([X, _ | Xs], [X | Ys]) :-r (Xs, Ys).
두 번째 술어는 필요하지 않습니다.
|
foldl / 4를 사용하는 대체 솔루션 :
fold_step (항목, true : [항목 | 꼬리], false : 꼬리).
fold_step (_Item, false : Tail, true : Tail).
홀수 (리스트, 홀수) :-
foldl (fold_step, List, true : Odd, _ : []).
용법:
?-홀수 ([1, 2, 3, 4, 5, 6, 7], 홀수).
홀수 = [1, 3, 5, 7]
아이디어는 "홀수 / 짝수"플래그를 유지하고 각 요소에서 해당 값 (거짓-> 참, 참-> 거짓)을 뒤집으면서 목록을 살펴 보는 것입니다. 또한 "홀수 / 짝수"플래그가 true와 같은 요소를 추가하고 다른 요소는 건너 뛰어 점차 목록을 구성합니다.
|
@ code_x386 의이 훌륭한 대답은 차이 목록과 foldl / 4를 사용합니다.
다음과 같이 fold_step / 3 절을 하나만 사용하고 관계를 더 일반적으로 만듭니다.
fold_step (X, [X | Xs] + Ys, Ys + Xs).
list_odds_evens (목록, 확률, 짝수) :-
foldl (fold_step, List, Odds + Evens, [] + []).
샘플 쿼리 :
? – list_odds_evens ([a, b, c, d, e, f], Odds, Evens).
짝수 = [b, d, f], 승률 = [a, c, e]
? – list_odds_evens ([a, b, c, d, e, f, g], Odds, Evens).
짝수 = [b, d, f], 승률 = [a, c, e, g]
편집하다
왜 하나의 절을 적게 사용하고 술어 fold_step / 3을 없애지 않습니까?
구조에 람다!
:-use_module (라이브러리 (람다)).
list_odds_evens (목록, 확률, 짝수) :-
foldl (\ X ^ ([X | Xs] + Ys) ^ (Ys + Xs) ^ true, List, Odds + Evens, [] + []).
|
또 다른 가능성은 DCG를 사용하는 것입니다. 일반적으로 목록을 설명 할 때 고려해야 할 가치가 있습니다.
list_oddindices (L, O) :-
구 (oddindices (L), O). % 목록 O는 oddindices // 1로 설명됩니다.
oddindices ([])-> L이 비어있는 경우 %
[]. % O도 비어 있습니다.
oddindices ([X])-> L에 요소가 하나만있는 경우 %
[엑스]. % 그것은 O
oddindices ([O, _E | OEs])-> L의 머리가 두 개 이상의 요소로 구성된 경우 %
[O], % 첫 번째는 O
oddindices (OE). % 꼬리에 대해 동일한 홀드
이것은 확실히 foldl / 4를 사용하는 솔루션보다 덜 우아하지만 코드는 매우 쉽게 읽을 수 있지만 OP에서 설명하는 작업을 해결하고 두 가지 방식으로도 작동합니다.
?-list_oddindices ([1,2,3,4,5,6,7], O).
O = [1, 3, 5, 7];
그릇된.
?-list_oddindices (L, [1,3,5,7]).
L = [1, _G4412, 3, _G4418, 5, _G4424, 7];
L = [1, _G4412, 3, _G4418, 5, _G4424, 7, _G4430];
그릇된.
|
시도해 볼 프롤로그가없고 약간 녹슬었지만
r ([]) :-[].
r ([X]) :-[X].
r ([X, Y | Z]) :-R = r (Z), [X | R].
[편집하다]
물론 패드가 맞습니다. 내 솔루션은 Haskell 또는 Erlang과 같은 기능적 언어로 작동합니다.
-하스켈
r [] = []
r [x] = [x]
r (x : _ : xs) = x : (r xs)
Prolog에서는 통합을 트리거하기 위해 오른쪽을 인수 목록으로 "당겨야"합니다.
|
너의 답
StackExchange.ifUsing ( "editor", function () {
StackExchange.using ( "externalEditor", function () {
StackExchange.using ( "snippets", function () {
StackExchange.snippets.init ();
});
});
}, "코드 스 니펫");
StackExchange.ready (function () {
var channelOptions = {
태그 : "".split ( ""),
id : "1"
};
initTagRenderer ( "". split ( ""), "".split ( ""), channelOptions);
StackExchange.using ( "externalEditor", function () {
// 스 니펫이 활성화 된 경우 스 니펫 후에 편집기를 실행해야
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ( "snippets", function () {
createEditor ();
});
}
else {
createEditor ();
}
});
function createEditor () {
StackExchange.prepareEditor ({
useStacksEditor : false,
heartbeatType : '답변',
autoActivateHeartbeat : false,
convertImagesToLinks : true,
noModals : true,
showLowRepImageUploadWarning : true,
scoreToPostImages : 10,
bindNavPrevention : true,
접미사 : "",
imageUploader : {
brandingHtml : "Powered by \ u003ca href = \"https : //imgur.com/ \ "\ u003e \ u003csvg class = \"svg-icon \ "width = \"50 \ "height = \"18 \ "viewBox = \ "0 0 50 18 \"fill = \ "none \"xmlns = \ "http : //www.w3.org/2000/svg \"\ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.6931182C47.4335 4.61182 46.7256 4.52513.6307884.65959531 43.5251. 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \"M32.492 10.1419C32.492 12.697954 34.104182 14.0484 37.0451 14.0484 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.5455C35.8209 11.5455 35.4954 10.8 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \"evenodd \ "clip-rule = \"evenodd \ "d = \ "M25.6622 17.6335C27.8049 17.6335 29.373916.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.66231 28.4555 4.94978 28.1109 5.50789C27.499 4.86533 26.71.027134.003.1369 4.86533 26.71.02793200325.7005 4.56087C23. 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28.1256 12.8854 28.1301 12.9342 28.1301 12.983C28.1301 14.4373 27.2502 15.2321 24.1352 14.777 15.2321 24.1352 14.777 15.2321C24.8349 15.2321C24.8349 15.2321C24.8349 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335ZM24.1317 9.27932C24.1317 7.94324 24.9928 7.09766 26.1024 7.09766C27.2119 7.09766 28.0918.1194324 24.1116.1024271.5116. 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \"M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.8962 19.8079 13.2535 19.8079 11.9512V8.12928C19.8079 5.82936 18.4879 4.62866 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9.38336 4.62866 7.5079C9.34336 4.62866 4.66232 5.00066 5.28821 5.00066 6.59049V11.9512C5.00066 13.2535 5.47873 13.8962 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7.58817 8.44431 6.91179 9.53458 6.91179C10.5104 6.3.291179 11.10.893 7.58817 10.893 13.8962C13.4375 13.8962 13.9157 13.2535 13.9157 11.9512V8.90741C13.9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z \ "/ \ u003e \ u003e \ u003e \ u003cpath d = \"M3.31675 6.5904986 4.66232 1.82471 4.66232C0.791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59 049Z \ "/ \ u003e \ u003cpath d = \"M1.87209 0.400291C0.843612 0.400291 0 1.1159 0 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.98861C3.7234 1.1159 2.90056 0.400291 1.87209 0.400291Z \ "채우기 = \ "# 1BB76E \"/ \ u003e \ u003c / svg \ u003e \ u003c / a \ u003e ",
contentPolicyHtml : "\ u003ca href = \"https : //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \"https://stackoverflow.com에 따라 라이선스가 부여 된 사용자 기여 / legal / content-policy \ "\ u003e (콘텐츠 정책) \ u003c / a \ u003e",
allowUrls : true
},
onDemand : true,
폐기 선택기 : ".discard-answer"
, immediatelyShowMarkdownHelp : true, enableTables : true, enableSnippets : true
});
}
});
Stack Overflow에 대한 답변에 기여해 주셔서 감사합니다!
질문에 반드시 답해주십시오. 세부 사항을 제공하고 연구를 공유하십시오!
그러나 피하십시오…
도움, 설명을 요청하거나 다른 답변에 응답합니다.
의견에 따라 진술하기 참고 자료 또는 개인적인 경험으로 백업하십시오.
자세한 내용은 훌륭한 답변 작성에 대한 팁을 참조하십시오.
초안이 저장되었습니다.
초안이 삭제되었습니다.
가입 또는 로그인
StackExchange.ready (function () {
StackExchange.helpers.onClickDraftSave ( '# login-link');
});
Google을 사용하여 가입
Facebook을 사용하여 가입
이메일 및 비밀번호를 사용하여 가입
제출
게스트로 게시
이름
이메일
필수이지만 표시되지 않음
StackExchange.ready (
함수 () {
StackExchange.openid.initPostLogin ( '. new-post-login', 'https % 3a % 2f % 2fstackoverflow.com % 2fquestions % 2f5935133 % 2fprolog-how-to-remove-every-second-element-of-a-list % 23new-answer ','question_page ');
}
);
게스트로 게시
이름
이메일
필수이지만 표시되지 않음
답변 게시
포기
"답변 게시"를 클릭하면 서비스 약관, 개인 정보 보호 정책 및 쿠키 정책에 동의하게됩니다.
찾고있는 답변이 아닙니까? 다른 질문 태그 목록 프롤로그를 찾아 보거나 자신의 질문을하십시오.